COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\input jmclet
C00004 ENDMK
C⊗;
\input jmclet
\jmclet
\address
Professor Olivier Danvy 
University of Copenhagen
DIKU
Universitetsparken 1
DK-2100 Copenhagen \O
Denmark
\body
Dear Professor Danvy,

I am pleased to invite you to visit our formal reasoning
group at Stanford for three months during the
period between the beginning of September 1989 and the end of
February 1990 to participate in ongoing research in programming
language theory.   We will be able to pay you at the rate of
research associate which will be $\$10,000$ for this
period.  This does not include a commitment to pay travel expenses.

\closing
Sincerely,
John McCarthy
\endletter
\end